Connecting OCL with the Rest of the World
نویسندگان
چکیده
The paper addresses the problems of making program specifications written in OCL easier to read and to maintain. The solution proposed is to use the grammar formalism GF to define a high-level abstract grammar of specifications with translations into OCL, logic, and natural languages. A prototype of the solution is illustrated by an example.
منابع مشابه
Resting-state Functional Connectivity During Controlled Respiratory Cycles Using Functional Magnetic Resonance Imaging
Introduction: This study aimed to assess the effect of controlled mouth breathing during the resting state using functional magnetic resonance imaging (fMRI). Methods: Eleven subjects participated in this experiment in which the controlled “Nose” and “Mouth” breathings of 6 s respiratory cycle were performed with a visual cue at 3T MRI. Voxel-wise seed-to-voxel maps and whole-brain region of i...
متن کاملEnhancing the Message Concept of the Object Constraint Language
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of OCL messages that enable modelers to put restrictions on messages sent. However, this concept shows some shortcomings with respect to the existing OCL language concepts. On the one hand, the proposed syntax does not quite...
متن کاملSmall-world Structure in Children’s Featured Semantic Networks
Background: Knowing the development pattern of children’s language is applicable in developmental psychology. Network models of language are helpful for the identification of these patterns. Objectives: We examined the small-world properties of featured semantic networks of developing children. Materials & Methods: In this longitudinal study, the featured semantic networks of children aged 1...
متن کاملFinding the best angle, between carbon nanotubes and four groups of antibiotics, using computational methods
In this work, the first in the world of science, the focus was on the best angle of connection between carbon nanotubes and the most widely used group of antibiotics. While having the highest stability, in terms of energy, we have the best angle of to connect to the in vivo delivery of intraoperative antibiotic binding with carbon nanotubes not lost. It will never work in the world of science. ...
متن کاملFinding the best angle, between carbon nanotubes and four groups of antibiotics, using computational methods
In this work, the first in the world of science, the focus was on the best angle of connection between carbon nanotubes and the most widely used group of antibiotics. While having the highest stability, in terms of energy, we have the best angle of to connect to the in vivo delivery of intraoperative antibiotic binding with carbon nanotubes not lost. It will never work in the world of science. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001